Interpreting the Object Constraint Language
نویسندگان
چکیده
The Object Constraint Language (OCL), which forms part of the UML 1.1. set of modelling notations is a precise, textual language for expressing constraints that cannot be shown in the standard diagrammatic notation used in UML. A semantics for OCL lays the foundation for building CASE tools that support integrity checking of whole UML models, not just the component expressed using OCL. This paper provides a semantics for OCL, at the same time providing a semantics for classes, associations, attributes and states.
منابع مشابه
A Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملUser Assistance Characteristics of the USE Model Checking Tool
The Unified Modeling Language (UML) is a widely used general purpose modeling language. Together with the Object Constraint Language (OCL), formal models can be described by defining the structure and behavior with UML and additional OCL constraints. In the development process for formal models, it is important to make sure that these models are (a) correct, i.e. consistent and complete, and (b...
متن کاملPolice Interpreting: A View from the Australian Context
In the global village of today, more people have been moving and migrating than ever before creating a need for better communication. Thus community interpreting rose as a specialization serving the needs of members of the community who are unable to communicate with the system. Within this broad field of interpreting the specialist area of legal interpreting assumed a high position. However, l...
متن کاملApplying Ethics in Interpreting: Investigating Attitudes and Strategies in an Iranian Context
Ethics is a crucial issue in the different dimensions of human life; hence, there seems to be a dire need for research to be conducted on ethics in different domains including translation studies and interpreting. This qualitative-exploratory research aimed at investigating the attitudes and strategies of applying ethics in in- terpreting through employing a triangulation method. Twenty interpr...
متن کامل